1. Automata, languages and programming :
پدیدآورنده : edited by G. Ausiello and C. Böhm.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
2. Automata, languages and programming : Fifth Colloquium, Udine, Italy, July 17-21, 1978
پدیدآورنده : edited by G. Ausiello and C. Bohm
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
62
3. CAAP'81 : trees in algebra and programming 6th Colloquium, Genoa, March 5-7, 1981 : proceedings
پدیدآورنده : edited by E. Astesiano and C. Bohm; under the sponsorship of the European Association for Theoretical Computer Science )EATCS(
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
112
4. Calculus and Computer Science Theory, Proceedings of theSymposium held in Rome March 25-27, 1975. IAC-CNR Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
پدیدآورنده : / Edited by C. Bohm
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Combinatory logic -- Congresses,Programming languages (Electronic computurs) -- Congresses
رده :
QA
905
.
L35
5. On deaths and endings :
پدیدآورنده : edited by Brent Willock, Lori C. Bohm and Rebecca C. Curtis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bereavement-- Psychological aspects.,Death-- Psychological aspects.,Loss (Psychology),Psychoanalysis.,Attitude to Death.,Bereavement.,Grief.,Psychoanalysis.,Thanatology.,Bereavement-- Psychological aspects.,Death-- Psychological aspects.,Loss (Psychology),Psychoanalyse,Psychoanalysis.,Sterben,Tod,Trauerarbeit
رده :
BF789
.
D4
O5
2007
6. Theoretical computer science: proceedings of the third Italian Conference , Mantova, 2-4 November 1989
پدیدآورنده : edited by A. Bertoni, C. Bohm, P. Miglioli
کتابخانه: (طهران)
موضوع : Congresses ، Computer science
رده :
QA
75
.
5
.
I83
1989
7. Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings
پدیدآورنده : CAAP '81 ; edited by E. Astesiano and C. Bohm,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Trees )Graph theory( - Data processing - Congresses,Data structures )Computer science( - Congresses,Computational complexity - Congresses
رده :
QA
.
C3
166
.
2
1981
8. λ-Calculus and Computer Science Theory :
پدیدآورنده : edited by C. Böhm. B�ohm, C.,
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science,Computer science.,Logic, Symbolic and mathematical.
رده :
QA9
.
5
E358
1975
